This notification is to advise you that the latest online advances of IEEE Transactions on Software Engineering are currently available to view online. IEEE Transactions on Software Engineering November 2004 - Vol. 30, No. 11 http://csdl.computer.org/comp/trans/ts/2004/11/eytoc.htm Editorial: New AE Introduction J. Knight PAPERS Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables D. Binkley and M. Harman Enhancing Structured Review with Model-Based Verification I. Traore and D.B. Aredo Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs J. Tian, S. Rudraraju, and Z. Li Assessing and Improving State-Based Class Testing: A Series of Experiments L.C. Briand, M. Di Penta, and Y. Labiche Contract-Checking Wrappers for C++ Classes S.H. Edwards, M. Sitaraman, B.W.Weide, and J. Hollingsworth A Cognitive-Based Mechanism for Constructing Software Inspection Teams J. Miller and Z.Yin SHORT PAPERS Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables H.S. Chae, Y.R. Kwon, and D.H. Bae --------------------------------------------------- If you wish to be removed from this mailing list, send a message to listserv@computer.org with the following text in the body of the message: unsubscribe tse_subscribers ---------------------------------------------------